Berkeley Design Automation - PDFSEARCH.IO - Document Search Engine

Berkeley Design Automation
Results: 35

#	Item
1	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid
2	新興ベンダー和_v12.mcd Add to Reading List Source URL: www.jesa.or.jp Language: English - Date: 2010-02-28 19:46:47 Cadence Design Systems Mentor Graphics Denali Software Electronic design automation Berkeley Design Automation Electronic engineering Zuken Synopsys
3	CS 170 Algorithms Spring 2009 Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2009-05-04 23:56:17 Complexity classes NP-complete problems Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Conjunctive normal form NP-complete Canonical form Theoretical computer science Mathematics Applied mathematics
4	Microsoft PowerPoint - Seshia-Induction-Deduction-DATE13 Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-03-18 09:59:28 Electronic design automation Theoretical computer science Applied mathematics Temporal logic Logic in computer science Linear temporal logic Uclid Formal verification Logic synthesis Electronic engineering Problem solving Reasoning
5	Implementing an Instruction Set David E. Culler CS61CL Oct 28, 2009 Lecture 9 Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2009-10-28 23:04:23 Central processing unit Digital electronics Electronic design Datapath Register-transfer level Flip-flop Electronic engineering Electronic design automation Electronics
6	Fast and Scalable Simulation of Volunteer Computing Systems Using SimGrid Bruno Donassolo Henri Casanova Add to Reading List Source URL: navet.ics.hawaii.edu Language: English Scientific modeling Electronic design automation Distributed computing SimGrid Simulation Computer simulation Climateprediction.net Network simulation Berkeley Open Infrastructure for Network Computing Electronic engineering Computing Software
7	Growing Solver-Aided Languages with ROSETTE Emina Torlak & Rastislav Bodik U.C. Berkeley Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:03 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL Theoretical computer science Applied mathematics Software engineering
8	CS61CL Machine Structures Lec 8 – State and Register Transfers David Culler Electrical Engineering and Computer Sciences University of California, Berkeley Add to Reading List Source URL: inst.eecs.berkeley.edu Language: English - Date: 2009-10-21 17:45:09 Electronic design Combinational logic Logic in computer science C31 Adder B31 Propagation delay F9 Electronic engineering Digital electronics Electronic design automation
9	PDF Document Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2011-02-18 18:19:23 Electronic design automation Cyber-physical system Embedded system Verification Software verification Software Logic simulation Electronic engineering Software testing Logic design
10	VIRAM-1 Vector Datapath University of California, Berkeley Joseph Gebis Description Add to Reading List Source URL: iram.cs.berkeley.edu Language: English - Date: 2000-01-20 23:40:07 Integrated circuits Electronic design Circuit extraction Application-specific integrated circuit Verilog Adder Datapath Standard cell Formal equivalence checking Electronic engineering Electronics Electronic design automation